منابع مشابه
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-or...
متن کاملFrame constructions, truth invariance and validity preservation in many-valued modal logic
In this paper we define and examine frame constructions for the family of many-valued modal logics introduced by M. Fitting in the ’90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting’s original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of ...
متن کاملTemporal and Modal Logic
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb
متن کاملLukasiewicz and Modal Logic
Lukasiewicz's four-valued modal logic is surveyed and analyzed.
متن کاملCoalgebras and Modal Logic
1 These lecture notes were written mainly during my stay as an ERCIM fellow at the Masaryk University, Brno, Czech Republic. I owe special thanks to Lubo s Brim, Ji r Rosick y, and the Faculty for Informatics. Preface These course notes present universal coalgebra as a general theory of systems. By`system' we understand some entity running in and communicating with an environment. We also assum...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2008
ISSN: 1166-3081,1958-5780
DOI: 10.3166/jancl.18.153-173